extern void write_char(char ch);
void lan_main() {
  write_char('L');
  write_char('O');
  write_char('V');
  write_char('E');
  while (1)
    ;
}
